Buy Used and New Marino Miculan Books

Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540680840

Format: Paperback (203 pages)
Publisher: Springer
Published: 26 May 2008

Save for later

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)

by Furio Honsell,Marino Miculan

ISBN 13: 9783540418641

Format: Paperback (432 pages)
Publisher: Springer
Published: 21 Mar 2001

Save for later